Um isomorfismo (ou iso), no contexto de teoria das categorias, é uma seta invertível. Mais precisamente, uma seta ${\displaystyle h:a\rightarrow b}$ numa categoria ${\displaystyle C}$ é um isomorfismo se e somente se existe ${\displaystyle g:b\rightarrow a}$ tal que ${\displaystyle g\circ h=id_{a}}$ e ${\displaystyle h\circ g=id_{b}}$. Nesse caso, ${\displaystyle g}$, a inversa de ${\displaystyle f}$, é única, e denotada por ${\displaystyle f^{-1}}$.

Toda seta iso é mono e epi, embora o contrário não seja necessariamente verdade. Por exemplo, na categoria formada por dois objetos ${\displaystyle a}$ e ${\displaystyle b}$, os morfismos identidade, e um único morfismo ${\displaystyle f:a\rightarrow b}$, ${\displaystyle f}$ é um monomorfismo e um epimorfismo, porém não é um isomorfismo.

Em conjuntos podemos pensar uma seta iso como sendo uma função bijetora.